Static analysis of topology-dependent broadcast networks
نویسندگان
چکیده
منابع مشابه
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast networks have focused on fixed connectivities, but this is unsuitable in the case of wireless networks where the dynamically changing network topology is a crucial ingredient. In this paper we develop a static analysis that ...
متن کاملTopology-Dependent Abstractions of Broadcast Networks
Broadcast semantics poses significant challenges over pointto-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast networks have focused on fixed connectivities, but this is unsuitable in the case of wireless networks where the dynamically changing network topology is a crucial ingredient. In this paper we develop a static analysis that a...
متن کاملDistributed broadcast in radio networks of unknown topology
A multi-hop synchronous radio network is said to be unknown if the nodes have no knowledge of the topology. A basic task in radio network is that of broadcasting a message (created by a 4xed source node) to all nodes of the network. Typical operations in real-life radio networks is the multi-broadcast that consists in performing a set of r independent broadcasts. The study of broadcast operatio...
متن کاملMaximizing static network lifetime of wireless broadcast ad hoc networks
We investigate the problem of energy-efficient broadcast routing over wireless static adhoc network where host mobility is not involved. We define the lifetime of a network as the duration of time until the first node failure due to battery depletion. We provide a globally optimal solution to the problem of maximizing a static network lifetime through a graph theoretic approach. We also provide...
متن کاملBroadcast Services and Topology Control in Ad-Hoc Networks
The design of effective Medium Access Control protocol for ad hoc network is a highly challenging task due to the characteristics of such networks. The medium is shared and unreliable by definition, thus the access mechanism should be robust to channel errors and collisions. Furthermore, all the coordination functions must be totally distributed in a pure ad hoc environment. In this paper we ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.10.003